/**
 * Package which implements the unification algorithm.
 */
package substitution;

